Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes

The study of exact sciences includes not only lectures but also the active forms of learning (practical classes, laboratory work and so on). Thus, it is necessary to control not only declarative knowledge but also procedural knowledge of the students (the knowledge of methods for solving problems). This article describes functional requirements, mathematical models, and algorithms for the development of the modules of procedural knowledge testing in the systems of computer mathematics for educational purposes. We present methods of generation of test tasks implemented in the web application “Test on Mathematics”.